#include <stdio.h> 
int main()
{
	int a[2]={13485418827};
	printf("%d",a) ;
	return 0 ;
}
